Linear syntax for communicating elementary mathematics

نویسندگان

  • Christopher J. Sangwin
  • P. Ramsden
چکیده

We consider computer aided assessment (CAA) of mathematics in which a student provides an answer in the form of a mathematical expression. A common approach is for CAA system implementors to adopt a linear syntax to allow students to communicate their answer to the machine. In this paper we consider the problems students encounter when mediating between (i) traditional mathematical notation and (ii) the requirements of a strict computer algebra system (CAS) syntax. We compare the linear syntaxes of five commonly used general purpose CAS, and report surprising variety even at the elementary levels.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Elementary Math Models: College Algebra Topics and a Liberal Arts Approach

It would be difficult to overstate the importance of algebra in mathematics. If mathematics is the language of science, then algebra provides the alphabet, vocabulary, and syntax. In particular, the traditional college algebra course covers the elementary functions of analysis: linear and quadratic functions; polynomials and rational functions; roots, exponentials, and logs. These functions are...

متن کامل

Linear Formulas in Continuous Logic

We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...

متن کامل

An Analysis of ( Linear ) Exponentials Based on

We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. In particular, the 2-sequent approach simpliies the syntax of Light and Elementary Linear Logic.

متن کامل

Category Theory Foundation For Engineering Modelling

Category theory provides a formal foundation for engineering modelling, as well as, mathematics and science. Both structure and behaviour, as they occur in engineering models for manufactured products and biomedicine, can be embedded as axiom sets within a mathematical formalism, called Algos. The Algos language is a two sorted first order Horn clause theory based on topos language construction...

متن کامل

Elementary linear logic revisited for polynomial time and an exponential time hierarchy (extended version)

Elementary linear logic is a simple variant of linear logic, introduced by Girard and which characterizes in the proofs-as-programs approach the class of elementary functions (computable in time bounded by a tower of exponentials of fixed height). Other systems, like light linear logic have then been defined to capture in a similar way polynomial time functions, but at the price of either a mor...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Symb. Comput.

دوره 42  شماره 

صفحات  -

تاریخ انتشار 2007